Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💻 Programming languages
programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28489
posts in
15.0
ms
The Proof Expression Problem,
Reimagined
Through Object-Oriented
Lenses
hackernoon.com
·
16h
🔗
Concatenative Programming
Haskell
Programming from First
Principles
(2016)
haskellbook.com
·
18h
·
Discuss:
Hacker News
🔗
Functional Compilers
Logics
and Type Theory: essays dedicated to Stefano
Berardi
on the occasion of his 1000000th birthday
arxiv.org
·
1d
🔶
Cubical Type Theory
Object-Oriented Programming:
Themes
and
Variations
ojs.aaai.org
·
20h
·
Discuss:
Lobsters
,
r/programming
🦀
Rust Macros
Addressing a type system
limitation
with
syntactic
sugar
futhark-lang.org
·
1d
💧
Liquid Types
The
Lobster
Programming
Language
strlen.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Differential
Logic
• 16
inquiryintoinquiry.com
·
16h
🧬
Functional Programming
Implementing Dependent Type Theory
Inhabitation
and
Unification
arxiv.org
·
2d
🔗
Dependently Typed
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
2d
·
Discuss:
Hacker News
🧬
Functional Programming
Building a
Custom
Architecture
and Platform: Part 3
binary.ninja
·
10h
🔓
Decompilation
Announcing
CEL-expr-python
: the Common Expression Language in Python, now open source
opensource.googleblog.com
·
1d
·
Discuss:
Blogger
🧠
Lisp Dialects
Rethinking
OOP
Through Dependent Types and
Codata
hackernoon.com
·
18h
🔗
Concatenative Programming
Applied
Category Theory and Green
Mathematics
johncarlosbaez.wordpress.com
·
7h
🔀
Category Theory
Pony
Networking
, Take Two
ponylang.io
·
5h
·
Discuss:
Lobsters
🌐
Protocol Synthesis
Learnings
from a No-Code Library: Keeping the Spec Driven Development
Triangle
in Sync
dbreunig.com
·
16h
·
Discuss:
Hacker News
📏
Code Metrics
fivebrane
bordism
in nLab
ncatlab.org
·
1d
🔀
Category Theory
no382001/prolog
: a minimal embeddable prolog interpreter based on van
Emden
's ABC algorithm
github.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Optimizing
a
function
nikita.galaiko.rocks
·
22m
✅
Format Verification
Islands
of
Invariance
rastamouse.me
·
9h
🚀
Compiler Optimizations
Proofs
inkdroid.org
·
1d
⚙️
Proof Engineering
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help